A Structured Approach to Selecting and Justifying Software Safety Evidence
نویسنده
چکیده
The safety assurance of software is ultimately demonstrated by the evidence that is put forward. There is a range of existing guidance on the types of evidence that may be used to demonstrate the safety of software, however questions remain as to the sufficiency of the evidence suggested by such guidance. We propose that the only way to determine the sufficiency of the evidence is to consider its capability to address specific explicit safety assurance claims in a software safety argument. In this paper we propose a lightweight approach to selecting and assessing software safety evidence.
منابع مشابه
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments
Safety arguments typically have some weaknesses. To show that the overall confidence in the safety argument is considered acceptable, it is necessary to identify the weaknesses associated with the aspects of a safety argument and supporting evidence, and manage them. Confidence arguments are built to show the existence of sufficient confidence in the developed safety arguments. In this paper, w...
متن کاملSoftware Safety Assurance – What Is Sufficient?
It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assurance. In this paper we consider how assurance may be explicitly considered when developing a soft...
متن کاملUsing D-s Evidence Theory to Evaluation of Confidence in Safety Case
A safety case provides an explicit means for justifying the safety of a system through a reasoned argument and supporting evidence. However, the acceptance of a safety case requires the assessors to be confident, thus, there is some uncertainty of confidence in the safety case, and it becomes a key factor how to process the uncertainty in evaluating confidence in safety case. D-S evidence theor...
متن کاملNurses’ Perspectives on Factors Affecting Patient Safety: A Qualitative Study
Patient safety is a global concern that involves all healthcare members, so that achieving a high level safe care is responsibility of all healthcare services, particularly nurses. This qualitative study aimed to describe nurses’ perspectives on factors affecting patient safety. We recruited 32 nurses working in teaching hospitals by purposeful sampling method. Data were collected by semi-struc...
متن کاملAn analysis of safety evidence management with the Structured Assurance Case Metamodel
SACM (Structured Assurance Case Metamodel) is a standard for assurance case specification and exchange. It consists of an argumentation metamodel and an evidence metamodel for justifying that a system satisfies certain requirements. For assurance of safety-critical systems, SACM can be used to manage safety evidence and to specify safety cases. The standard is a promising initiative towards har...
متن کامل